Belala, Faiza: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards formalising installation and reconfiguration tasks of AADL architecture

Benlahrache, Nadira, Belala, Faiza

Journal:

International Journal of Communication Networks and Distributed Systems

Year:

2013

Language:

english

File:

PDF, 4.46 MB

english, 2013

2

[IEEE 2008 IEEE Symposium on Computers and Communications (ISCC) - Marrakech (2008.07.6-2008.07.9)] 2008 IEEE Symposium on Computers and Communications - Tile logic as an architectural model for mobility

Bouanaka, Chafia, Belala, Faiza

Year:

2008

Language:

english

File:

PDF, 1.39 MB

english, 2008

3

[IEEE 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud) - Istanbul, Turkey (2019.8.26-2019.8.28)] 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud) - Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant

Bouheroum, Ayoub, Benzadri, Zakaria, Belala, Faiza

Year:

2019

File:

PDF, 968 KB

2019

4

A bigraph-based framework for specification and analysis of context-aware systems

Cherfia, Taha Abdelmoutaleb, Belala, Faïza, Barkaoui, Kamel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2016

Language:

english

File:

PDF, 672 KB

english, 2016

5

[IEEE 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC) - Milano, Italy (2014.8.26-2014.8.28)] 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing - A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System

Cherfia, Taha Abdelmoutaleb, Barkaoui, Kamel, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 585 KB

english, 2014

6

[IEEE 2012 Second International Workshop on Advanced Information Systems for Enterprises (IWAISE) - Constantine, Algeria (2012.11.10-2012.11.12)] 2012 Second International Workshop on Advanced Information Systems for Enterprises - Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine

Cherfia, Taha A., Faiza, Belala, Benlahrache, Nadira

Year:

2012

Language:

english

File:

PDF, 364 KB

english, 2012

7

[IEEE 2011 20th IEEE International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Paris, France (2011.06.27-2011.06.29)] 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - A Novel Semantic Framework for Analyzing Dynamic Web Services

Latreche, Fateh, Belala, Faiza

Year:

2011

Language:

english

File:

PDF, 329 KB

english, 2011

8

[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - A K-based language for Design Patterns

Douibi, Halima, Smaali, Sahar, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 504 KB

english, 2014

9

Towards a fuzzy bigraphical multi agent system for cloud of clouds elasticity management

Moudjari, Rayene, Sahnoun, Zaidi, Belala, Faiza

Journal:

International Journal of Approximate Reasoning

Year:

2018

Language:

english

File:

PDF, 5.84 MB

english, 2018

10

Big-CAF: a bigraphical-generic cloud architecture framework

Benzadri, Zakaria, Bouanaka, Chafia, Belala, Faiza

Journal:

International Journal of Grid and Utility Computing

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

11

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2018

Language:

english

File:

PDF, 2.48 MB

english, 2018

12

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems

Belala, Faiza, Bouanaka, Chafia, Barkaoui, Kamel

Year:

2011

Language:

french

File:

PDF, 313 KB

french, 2011

13

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Translating AADL systems to Java programs

Benlahrache, Nadira, Belala, Faiza, Younes, Randa Ait, Belala, Zoubida

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

14

Formal modelling and verifying elasticity strategies in cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza, Sahli, Hamza

Journal:

Year:

2019

File:

PDF, 2.86 MB

2019

15

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Towards modeling and verifying Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Year:

2016

Language:

english

File:

PDF, 485 KB

english, 2016

16

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - A theoretical approach for modelling Cloud Services Composition

Benzadri, Zakaria, Hameurlain, Nabil, Belala, Faiza, Bouanaka, Chafia

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

17

Formal modelling and verifying elasticity strategies in cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza, Sahli, Hamza

Journal:

Year:

2019

Language:

english

File:

PDF, 2.86 MB

english, 2019

18

A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza

Journal:

Journal of Systems Architecture

Year:

2020

File:

PDF, 2.05 MB

2020

19

[IEEE 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO 2013) - Hammamet (2013.4.28-2013.4.30)] 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO) - Automatic Web services composition using maude strategies

Fateh, Latreche, Hacene, Sebih, Faiza, Belala

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

20

[IEEE 2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS) - Paris, France (2015.7.22-2015.7.24)] 2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS) - Towards BRS based model for Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Year:

2015

Language:

french

File:

PDF, 892 KB

french, 2015

21

A Formal Framework for Scalable Component-Based Systems

Bouanaka, Chafia, Debza, Ahmed Amar, Belala, Faiza, Zeghib, Nadia

Journal:

International Journal of Information System Modeling and Design

Year:

2017

Language:

english

File:

PDF, 1.33 MB

english, 2017

22

A formal quantitative analysis of elastic cloud systems based on PSMaude

Bouanaka, Chafia, Maatougui, Esma, Belala, Faiza, Zeghib, Nadia

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2019

File:

PDF, 3.21 MB

2019

23

A RT-Maude-based framework for component installation

Belguidoum, Meriem, Belala, Faiza, Latreche, Fateh

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 655 KB

english, 2014

24

[IEEE 2009 IEEE/ACS International Conference on Computer Systems and Applications - Rabat, Morocco (2009.05.10-2009.05.13)] 2009 IEEE/ACS International Conference on Computer Systems and Applications - A synchronization schema in activity diagrams via zero-safe-nets

Boufenara, Sabine, Belala, Faiza, Bouanaka, Chafia

Year:

2009

Language:

english

File:

PDF, 402 KB

english, 2009

25

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity

Sahli, Hamza, Belala, Faiza, Bouanaka, Chafia

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 1.01 MB

english, 2015

26

Transactional Petri nets: a semantic framework for UML2 activities

Boufenara, Sabine, Barkaoui, Kamel, Belala, Faiza, Boucheneb, Hanifa

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 350 KB

english, 2014

27

RDTA

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Embedded and Real-Time Communication Systems

Year:

2014

File:

PDF, 1.49 MB

2014

28

A layered Petri net model to formally analyse time critical web service composition

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Critical Computer-Based Systems

Year:

2017

File:

PDF, 410 KB

2017

29

A tile logic-based semantics for mobile software architectures

Bouanaka, Chafia, Belala, Faiza, Barkaoui, Kamel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2011

Language:

english

File:

PDF, 285 KB

english, 2011

30

Formal modeling and analysis of complex software

Belala, Faiza, Maamri, Ramdane

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2020

File:

PDF, 251 KB

2020

31

A bigraphical model for specifying cloud-based elastic systems and their behaviour

Sahli, Hamza, Hameurlain, Nabil, Belala, Faiza

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2016

Language:

english

File:

PDF, 4.22 MB

english, 2016

32

Formalizing and simulating cross-layer elasticity strategies in Cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza

Journal:

Cluster Computing

Year:

2020

File:

PDF, 3.70 MB

2020

33

[IEEE 2014 Second World Conference on Complex Systems (WCCS) - Agadir, Morocco (2014.11.10-2014.11.12)] 2014 Second World Conference on Complex Systems (WCCS) - Toward a formal meta-transformation of a parametrized component model

Belguidoum, Meriem, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 1.11 MB

english, 2014

34

[IEEE 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2010.05.16-2010.05.19)] ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 - For more understandable UML diagrams

Boukhelfa, Kamel, Belala, Faiza, Choutri, Aicha, DOuibi, Halima

Year:

2010

Language:

english

File:

PDF, 411 KB

english, 2010

35

[IEEE 2008 Second International Conference on Research Challenges in Information Science (RCIS) - Marrakech (2008.06.3-2008.06.6)] 2008 Second International Conference on Research Challenges in Information Science - AADL behavioral annex based on generalized rewriting logic

Benammar, Malika, Belala, Faiza, Latreche, Fateh

Year:

2008

Language:

english

File:

PDF, 1.62 MB

english, 2008

36

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - Towards a mobile architecture description language

Bouanaka, Chafia, Belala, Faiza

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

37

Design Patterns Formal Composition and Analysis

Douibi, Halima, Belala, Faiza

Journal:

International Journal of Information Technologies and Systems Approach

Year:

2019

Language:

english

File:

PDF, 1.17 MB

english, 2019

38

Timed CTL checking of time critical cloud applications using timed bigraphs

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Critical Computer-Based Systems

Year:

2019

File:

PDF, 1.07 MB

2019

39

Architectural method to design and control dynamic composite web services

Djenouhat, Manel Amel, Belala, Faiza, Barkaoui, Kamel

Journal:

International Journal of Computer Applications in Technology

Year:

2018

Language:

english

File:

PDF, 2.17 MB

english, 2018

40

[IEEE 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) - Budapest, Hungary (2020.6.2-2020.6.4)] 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) - System of Systems Engineering: Meta-Modelling Perspective

Dridi, Charaf Eddine, Benzadri, Zakaria, Belala, Faiza

Year:

2020

File:

PDF, 8.97 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски